general mathematics logic